Gernot Heiser - PDFSEARCH.IO - Document Search Engine

Gernot Heiser
Results: 93

#	Item
61	Secure Embedded Systems Need Microkernels Gernot Heiser National ICT Australia∗ and University of New South Wales Sydney, Australia Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2010-10-07 14:23:41 Microkernel Trusted computing base L4 microkernel family Monolithic kernels Virtual machines Gernot Heiser Kernel Embedded system Linux kernel Computer architecture System software Software
62	TECHNOLOGY WHITE PAPER Energy Management Gernot Heiser, PhD Founder and Consulting Scientist, Open Kernel Labs Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2010-11-03 15:07:09 Central processing unit Energy conservation Clock signal Hypervisor Ring Multi-core processor Virtualization Dynamic frequency scaling Power management Computing Computer hardware Electronics
63	ISSUE 39 \| DECEMBER[removed]INSIDE Incoming Media secures funding Digital Canberra Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:57 NICTA Gernot Heiser RMIT University L4 microkernel family University of Melbourne University of New South Wales Analytics Association of Commonwealth Universities Academia Education
64	2009 people entrepreneurship Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-06 07:11:15 Gi-Fi Gernot Heiser Computing Information and communication technologies in education Australian Research Council Future Internet L4 microkernel family Research institutes NICTA Technology Research
65	NICTA 2006 Annual Report 2006 Contents Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-06 06:21:31 Academia Open Kernel Labs Dante L4 microkernel family LIXI Information and communication technologies in education University of New South Wales Australian National University Gernot Heiser Technology NICTA Computing
66	Mathematically Verified Software Kernels: Raising the Bar for High Assurance Implementations Dr Daniel Potts, VP of Engineering, General Dynamics C4 Systems Rene Bourquin, Member Technical Staff, General Dynamics C4 Syst Add to Reading List Source URL: sel4.systems Language: English - Date: 2014-07-28 22:03:39 Evaluation Trusted computing base Microkernel L4 microkernel family Real-time operating systems Gernot Heiser Formal verification Isabelle Formal methods Computer security Computer architecture Computing
67	seL4 for Dependable Systems Software Developing dependable systems requires built-in security and safety at all levels of the system, including in the lowest-level system software: the operating system and device access Add to Reading List Source URL: sel4.systems Language: English - Date: 2014-09-23 22:58:53 Gernot Heiser L4 microkernel family Formal verification Real-time operating systems Kernel Computer security Integrity Mach Ring Computer architecture Trusted computing base Microkernel
68	INSIDE Game on for Scalify NICTA solver wins Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:46 Computing NICTA Open Kernel Labs Gernot Heiser L4 microkernel family Armadillo University of New South Wales University of Melbourne Information and communication technologies in education Software Association of Commonwealth Universities System software
69	TECHNOLOGY WHITE PAPER The Motorola Evoke QA4 A Case Study in Mobile Virtualization Gernot Heiser, PhD Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2010-10-07 14:22:35 Open Kernel Labs L4 microkernel family Gernot Heiser Linux Hypervisor Mobile virtualization Operating system Microkernel X86 virtualization System software Software Virtual machines
70	Your System is Secure? Prove it! Gernot Heiser NICTA∗ and University of New South Wales and Open Kernel Labs Sydney, Australia [removed] Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2010-10-07 14:22:41 Evaluation Formal methods Microkernel L4 microkernel family Trusted computing base Gernot Heiser Formal verification Kernel Evaluation Assurance Level Computer architecture System software Computing

UPDATE